Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 89, 90, 93, 94, 95, 96, 97, 100, 101, 104, 105, 106, 107, 108, 112, 113, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385 }

B grade: { }

C grade: { 34, 35, 36, 37, 38, 39, 86, 87, 88, 91, 92, 98, 99, 102, 103, 109, 110, 111, 114, 115, 116 }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28, 30, 31, 32, 33, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 58, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 83, 84, 85, 89, 116, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 134, 135, 138, 139, 140, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 195, 216, 217, 219, 220, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 253, 259, 266, 267, 268, 270, 272, 274, 275, 276, 277, 278, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 301, 302, 303, 304, 305, 308, 309, 310, 311, 313, 314, 315, 316, 320, 321, 322, 324, 325, 326, 327, 329, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 353, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 376, 378, 380, 381, 383, 385 }

B grade: { 82, 93, 94, 95, 96, 97, 104, 105, 106, 107, 108, 117, 118, 119, 120, 121, 133, 136, 137, 142, 143, 144, 218, 221, 222, 269, 312, 317, 318, 319, 328, 334, 335, 352, 354, 384 }

C grade: { 27, 29, 34, 35, 36, 37, 38, 39, 56, 57, 59, 70, 71, 86, 87, 88, 90, 91, 92, 98, 99, 100, 101, 102, 103, 109, 110, 111, 112, 113, 114, 115, 141, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 223, 252, 254, 255, 256, 257, 258, 260, 261, 262, 263, 264, 265, 271, 273, 279, 298, 299, 300, 306, 307, 323, 330, 331, 332, 333, 375, 377, 379 }

F grade: { 336, 382}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 17, 18, 19, 24, 25, 26, 30, 31, 32, 33, 44, 45, 46, 47, 60, 61, 62, 63, 75, 76, 77, 78, 85, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 159, 163, 164, 165, 170, 171, 172, 191, 192, 224, 248, 270, 271, 272, 273, 275, 276, 277, 278, 279, 280, 284, 285, 286, 287, 292, 293, 294, 337, 338, 339, 349, 351, 353, 355, 356, 357, 359, 361, 366, 369, 371, 374, 376, 378, 379 }

B grade: { 11, 12, 14, 15, 16, 20, 21, 22, 23, 157, 158, 160, 161, 162, 166, 167, 168, 169, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 324, 340, 341, 342, 363, 365, 367, 373, 375, 377 }

C grade: { 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 343, 344, 345, 346, 347, 348, 350, 352, 354, 358, 360, 362, 364, 368, 370, 372 }

F grade: { 27, 28, 29, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 79, 80, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 269, 274, 281, 282, 283, 288, 289, 290, 291, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 380, 381, 382, 383, 384, 385 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 8, 9, 10, 30, 31, 44, 45, 60, 61, 62, 63, 75, 76, 77, 78, 85, 146, 147, 148, 149, 153, 154, 155, 156, 276, 277, 278, 279, 280, 337, 338, 339, 343, 344, 345, 348, 349, 350, 351, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 368, 369, 370, 371, 372, 378, 379

B grade: { 32, 33, 46, 47, 352 }

C grade: { }

F grade: { 5, 6, 7, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 79, 80, 81, 82, 83, 84, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 340, 341, 342, 346, 347, 363, 364, 365, 366, 367, 373, 374, 375, 376, 377, 380, 381, 382, 383, 384, 385 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 15, 16, 17, 18, 19, 24, 25, 30, 31, 32, 33, 40, 41, 44, 45, 46, 47, 56, 57, 58, 60, 61, 62, 63, 70, 71, 72, 75, 76, 77, 78, 85, 145, 146, 147, 148, 149, 153, 154, 155, 156, 224, 225, 226, 227, 228, 229, 231, 232, 233, 234, 235, 236, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 252, 253, 254, 255, 259, 260, 261, 262, 266, 267, 268, 270, 275, 276, 277, 278, 279, 280, 287, 322, 323, 324, 329, 330, 331, 332, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 373, 374, 375, 376, 377, 378, 379, 381, 385 }

B grade: { 7, 12, 13, 20, 21, 22, 23, 27, 28, 29, 36, 42, 43, 59, 73, 74, 86, 87, 88, 98, 99, 110, 111, 150, 151, 152, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 191, 192, 193, 194, 205, 206, 216, 230, 237, 251, 256, 257, 258, 263, 264, 265, 284, 285, 286, 292, 293, 294, 321, 372 }

C grade: { 380 }

F grade: { 26, 34, 35, 37, 38, 39, 48, 49, 50, 51, 52, 53, 54, 55, 64, 65, 66, 67, 68, 69, 79, 80, 81, 82, 83, 84, 89, 90, 91, 92, 93, 94, 95, 96, 97, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 207, 208, 209, 210, 211, 212, 213, 214, 215, 217, 218, 219, 220, 221, 222, 223, 269, 271, 272, 273, 274, 281, 282, 283, 288, 289, 290, 291, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 325, 326, 327, 328, 333, 334, 335, 336, 382, 383, 384 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 167, 168, 169, 170, 224, 225, 226, 227, 231, 232, 233, 238, 239, 240, 241, 245, 246, 247, 248, 255, 275, 276, 277, 278, 279, 280, 284, 285, 286, 287, 294, 324 }

B grade: { 30, 60, 234, 254, 261, 262, 270 }

C grade: { 27, 28, 29, 40, 41, 48, 49, 50, 56, 57, 58, 59, 64, 65, 66, 67, 68, 70, 71, 72, 79, 80, 81, 82, 141, 220, 288, 289, 295, 298, 299, 300, 301, 308, 314, 315, 316, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 378 }

F grade: { 19, 25, 26, 31, 32, 33, 34, 35, 36, 37, 38, 39, 42, 43, 44, 45, 46, 47, 51, 52, 53, 54, 55, 61, 62, 63, 69, 73, 74, 75, 76, 77, 78, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 142, 143, 144, 145, 164, 165, 166, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 221, 222, 223, 228, 229, 230, 235, 236, 237, 242, 243, 244, 249, 250, 251, 252, 253, 256, 257, 258, 259, 260, 263, 264, 265, 266, 267, 268, 269, 271, 272, 273, 274, 281, 282, 283, 290, 291, 292, 293, 296, 297, 302, 303, 304, 305, 306, 307, 309, 310, 311, 312, 313, 317, 318, 319, 320, 321, 322, 323, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 377, 379, 380, 381, 382, 383, 384, 385 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17, 18, 19, 22, 23, 24, 25, 26, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 162, 163, 165, 168, 169, 170, 171, 245, 246, 247, 249, 250, 251, 252, 253, 254, 255, 256, 258, 259, 260, 261, 262, 263, 265, 270, 275, 276, 277, 278, 280, 337, 338, 339, 340, 341, 343, 344, 345, 346, 348, 349, 350, 351, 352, 353, 354, 358, 359, 360, 361, 362, 363, 364, 368, 369, 370, 371, 378 }

B grade: { 14, 15, 20, 21, 160, 161, 166, 167, 227, 230, 237, 244, 248, 257, 264, 284, 285, 286, 287, 292, 293, 294, 342, 347, 355, 356, 357, 365, 366, 367, 372, 373, 374, 375, 376, 377 }

C grade: { }

F grade: { 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 164, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 228, 229, 231, 232, 233, 234, 235, 236, 238, 239, 240, 241, 242, 243, 266, 267, 268, 269, 271, 272, 273, 274, 279, 281, 282, 283, 288, 289, 290, 291, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 379, 380, 381, 382, 383, 384, 385 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 94 97 130 234 104 131
normalized size 1 1. 1. 1.03 1.38 2.49 1.11 1.39
time (sec) N/A 0.072 0.02 0. 0.979 1.268 0.101 1.11


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 73 95 182 80 100
normalized size 1 1. 1. 1.04 1.36 2.6 1.14 1.43
time (sec) N/A 0.043 0.013 0.001 0.955 1.343 0.077 1.104


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 65 123 51 68
normalized size 1 1. 1. 0.98 1.3 2.46 1.02 1.36
time (sec) N/A 0.028 0.008 0.001 0.941 1.287 0.101 1.09


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 25 32 66 26 35
normalized size 1 1. 1. 0.89 1.14 2.36 0.93 1.25
time (sec) N/A 0.013 0.005 0. 0.959 1.393 0.075 1.114


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 128 195 0 900 71 217
normalized size 1 1. 0.89 1.35 0. 6.25 0.49 1.51
time (sec) N/A 0.094 0.078 0.005 0. 1.704 0.831 1.13


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 145 221 0 1233 97 246
normalized size 1 1. 0.86 1.31 0. 7.3 0.57 1.46
time (sec) N/A 0.082 0.092 0.009 0. 1.706 0.947 1.11


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 197 197 175 249 0 1648 133 273
normalized size 1 1. 0.89 1.26 0. 8.37 0.68 1.39
time (sec) N/A 0.106 0.132 0.01 0. 1.723 1.363 1.148


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 122 125 167 313 139 178
normalized size 1 1. 1. 1.02 1.37 2.57 1.14 1.46
time (sec) N/A 0.071 0.016 0. 0.957 1.317 0.087 1.072


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 82 87 111 215 90 123
normalized size 1 1. 1. 1.06 1.35 2.62 1.1 1.5
time (sec) N/A 0.046 0.011 0.001 0.968 1.304 0.112 1.103


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 65 123 51 68
normalized size 1 1. 1. 0.98 1.3 2.46 1.02 1.36
time (sec) N/A 0.029 0.007 0. 0.956 1.298 0.101 1.119


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 167 334 0 1183 156 336
normalized size 1 1. 0.97 1.93 0. 6.84 0.9 1.94
time (sec) N/A 0.128 0.091 0.003 0. 1.685 1.309 1.244


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 210 367 0 1635 189 358
normalized size 1 1. 1.03 1.81 0. 8.05 0.93 1.76
time (sec) N/A 0.244 0.194 0.01 0. 1.721 1.758 1.12


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 234 388 0 2296 233 400
normalized size 1 1. 0.91 1.5 0. 8.9 0.9 1.55
time (sec) N/A 0.233 0.271 0.01 0. 1.748 2.874 1.58


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 252 252 253 661 0 1916 369 622
normalized size 1 1. 1. 2.62 0. 7.6 1.46 2.47
time (sec) N/A 0.191 0.116 0.005 0. 1.726 2.14 1.126


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 203 486 0 1544 255 473
normalized size 1 1. 0.98 2.34 0. 7.42 1.23 2.27
time (sec) N/A 0.148 0.091 0.003 0. 1.789 2.034 1.101


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 167 334 0 1183 156 336
normalized size 1 1. 0.97 1.93 0. 6.84 0.9 1.94
time (sec) N/A 0.124 0.113 0.003 0. 1.705 1.347 1.139


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 129 195 0 926 71 217
normalized size 1 1. 0.89 1.34 0. 6.39 0.49 1.5
time (sec) N/A 0.078 0.065 0.002 0. 1.716 0.781 1.098


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 288 288 224 222 0 606 447 375
normalized size 1 1. 0.78 0.77 0. 2.1 1.55 1.3
time (sec) N/A 0.147 0.11 0.006 0. 2.123 43.129 1.126


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 346 346 336 406 0 994 0 598
normalized size 1 1. 0.97 1.17 0. 2.87 0. 1.73
time (sec) N/A 0.27 0.204 0.012 0. 44.628 0. 1.121


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 320 320 313 905 0 3490 536 822
normalized size 1 1. 0.98 2.83 0. 10.91 1.68 2.57
time (sec) N/A 0.298 0.253 0.013 0. 1.811 15.539 1.111


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 260 708 0 2808 403 643
normalized size 1 1. 0.97 2.65 0. 10.52 1.51 2.41
time (sec) N/A 0.226 0.217 0.011 0. 1.892 7.678 1.143


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 234 234 227 529 0 2225 289 495
normalized size 1 1. 0.97 2.26 0. 9.51 1.24 2.12
time (sec) N/A 0.22 0.159 0.009 0. 1.713 4.005 1.115


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 205 367 0 1661 189 350
normalized size 1 1. 1.01 1.81 0. 8.18 0.93 1.72
time (sec) N/A 0.231 0.213 0.008 0. 1.711 2.377 1.129


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 145 221 0 1233 97 246
normalized size 1 1. 0.86 1.31 0. 7.3 0.57 1.46
time (sec) N/A 0.084 0.09 0.007 0. 1.706 1.076 1.124


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 346 346 337 406 0 1004 0 598
normalized size 1 1. 0.97 1.17 0. 2.9 0. 1.73
time (sec) N/A 0.255 0.213 0.01 0. 43.049 0. 1.171


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 419 419 381 606 0 0 0 896
normalized size 1 1. 0.91 1.45 0. 0. 0. 2.14
time (sec) N/A 0.493 0.64 0.014 0. 0. 0. 1.653


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 62 0 0 1022 80 0
normalized size 1 1. 0.55 0. 0. 9.12 0.71 0.
time (sec) N/A 0.032 0.066 0.295 0. 1.665 5.08 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 134 0 0 950 76 0
normalized size 1 1. 1.47 0. 0. 10.44 0.84 0.
time (sec) N/A 0.02 0.075 0.229 0. 1.715 3.38 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 62 0 0 976 70 0
normalized size 1 1. 0.73 0. 0. 11.48 0.82 0.
time (sec) N/A 0.013 0.036 0.226 0. 1.827 12.763 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 28 25 68 96 190 0
normalized size 1 1. 0.6 0.53 1.45 2.04 4.04 0.
time (sec) N/A 0.009 0.017 0.004 1.095 1.617 100.391 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 40 37 115 150 0 0
normalized size 1 1. 0.73 0.67 2.09 2.73 0. 0.
time (sec) N/A 0.013 0.019 0.003 0.973 1.744 0. 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 51 48 161 197 0 0
normalized size 1 1. 0.69 0.65 2.18 2.66 0. 0.
time (sec) N/A 0.019 0.021 0.003 1.191 1.53 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 62 59 207 262 0 0
normalized size 1 1. 0.67 0.63 2.23 2.82 0. 0.
time (sec) N/A 0.026 0.023 0.004 1.384 1.482 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 483 56 232 0 0 0 0 0
normalized size 1 0.12 0.48 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.273 0.592 0. 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 464 55 217 0 0 0 0 0
normalized size 1 0.12 0.47 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.115 0.472 0. 0. 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 398 58 151 0 0 1494 0 0
normalized size 1 0.15 0.38 0. 0. 3.75 0. 0.
time (sec) N/A 0.026 0.143 0.42 0. 170.566 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 452 58 153 0 0 0 0 0
normalized size 1 0.13 0.34 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.051 0.428 0. 0. 0. 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-2) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 473 58 213 0 0 0 0 0
normalized size 1 0.12 0.45 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.116 0.453 0. 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 492 58 240 0 0 0 0 0
normalized size 1 0.12 0.49 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.16 0.423 0. 0. 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 151 0 0 1076 126 0
normalized size 1 1. 1.09 0. 0. 7.74 0.91 0.
time (sec) N/A 0.057 0.137 0.233 0. 2.63 4.777 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 141 0 0 1029 121 0
normalized size 1 1. 1.18 0. 0. 8.57 1.01 0.
time (sec) N/A 0.042 0.06 0.216 0. 2.601 3.867 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 137 0 0 1062 0 0
normalized size 1 1. 1.21 0. 0. 9.4 0. 0.
time (sec) N/A 0.042 0.083 0.41 0. 2.397 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 131 0 0 1253 0 0
normalized size 1 1. 1.19 0. 0. 11.39 0. 0.
time (sec) N/A 0.04 0.067 0.368 0. 1.992 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 40 37 142 142 0 0
normalized size 1 1. 0.53 0.49 1.87 1.87 0. 0.
time (sec) N/A 0.021 0.015 0.005 1.002 1.988 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 51 48 209 203 0 0
normalized size 1 1. 0.49 0.46 1.99 1.93 0. 0.
time (sec) N/A 0.035 0.032 0.007 0.977 1.947 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 62 59 278 259 0 0
normalized size 1 1. 0.63 0.6 2.84 2.64 0. 0.
time (sec) N/A 0.035 0.035 0.007 0.964 2.042 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 73 70 347 311 0 0
normalized size 1 1. 0.62 0.6 2.97 2.66 0. 0.
time (sec) N/A 0.044 0.037 0.007 0.981 2.19 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 97 0 0 0 168 0
normalized size 1 1. 1.03 0. 0. 0. 1.79 0.
time (sec) N/A 0.034 0.048 0.215 0. 0. 5.115 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 85 0 0 0 126 0
normalized size 1 1. 0.9 0. 0. 0. 1.34 0.
time (sec) N/A 0.034 0.038 0.217 0. 0. 2.983 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 75 0 0 0 121 0
normalized size 1 1. 0.8 0. 0. 0. 1.29 0.
time (sec) N/A 0.034 0.036 0.233 0. 0. 3.742 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 62 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.038 0.421 0. 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 70 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.057 0.376 0. 0. 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 85 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.07 0.358 0. 0. 0. 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 95 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.084 0.37 0. 0. 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 106 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.103 0.388 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 75 0 0 1222 170 0
normalized size 1 1. 0.43 0. 0. 7.02 0.98 0.
time (sec) N/A 0.059 0.066 0.214 0. 2.064 6.709 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 72 0 0 1087 82 0
normalized size 1 1. 0.51 0. 0. 7.71 0.58 0.
time (sec) N/A 0.045 0.069 0.222 0. 2.022 3.23 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 141 0 0 965 78 0
normalized size 1 1. 1.27 0. 0. 8.69 0.7 0.
time (sec) N/A 0.03 0.13 0.217 0. 1.975 2.317 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 61 0 0 1187 71 0
normalized size 1 1. 0.62 0. 0. 11.99 0.72 0.
time (sec) N/A 0.024 0.035 0.221 0. 1.99 10.404 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 37 34 69 117 190 0
normalized size 1 1. 0.79 0.72 1.47 2.49 4.04 0.
time (sec) N/A 0.01 0.02 0.005 0.958 1.661 96.653 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 59 57 116 188 0 0
normalized size 1 1. 0.65 0.63 1.27 2.07 0. 0.
time (sec) N/A 0.028 0.028 0.003 0.965 1.712 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 80 81 162 263 0 0
normalized size 1 1. 0.66 0.67 1.34 2.17 0. 0.
time (sec) N/A 0.035 0.031 0.006 0.944 1.657 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 100 105 208 352 0 0
normalized size 1 1. 0.66 0.7 1.38 2.33 0. 0.
time (sec) N/A 0.047 0.038 0.004 0.974 1.789 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 77 0 0 0 265 0
normalized size 1 1. 0.91 0. 0. 0. 3.12 0.
time (sec) N/A 0.023 0.037 0.22 0. 0. 7.031 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 75 0 0 0 170 0
normalized size 1 1. 0.9 0. 0. 0. 2.05 0.
time (sec) N/A 0.022 0.062 0.224 0. 0. 3.79 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 72 0 0 0 82 0
normalized size 1 1. 0.88 0. 0. 0. 1. 0.
time (sec) N/A 0.021 0.067 0.208 0. 0. 2.037 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 73 0 0 0 78 0
normalized size 1 1. 0.89 0. 0. 0. 0.95 0.
time (sec) N/A 0.022 0.038 0.212 0. 0. 1.737 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 66 0 0 0 78 0
normalized size 1 1. 0.71 0. 0. 0. 0.84 0.
time (sec) N/A 0.025 0.034 0.224 0. 0. 14.131 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 75 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.039 0.211 0. 0. 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) A C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 262 262 176 0 0 1713 270 0
normalized size 1 1. 0.67 0. 0. 6.54 1.03 0.
time (sec) N/A 0.165 4.871 0.22 0. 1.773 14.929 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) A C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 219 219 179 0 0 1519 131 0
normalized size 1 1. 0.82 0. 0. 6.94 0.6 0.
time (sec) N/A 0.166 4.149 0.219 0. 1.809 4.884 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) A C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 175 175 172 0 0 1341 126 0
normalized size 1 1. 0.98 0. 0. 7.66 0.72 0.
time (sec) N/A 0.096 5.138 0.215 0. 1.755 3.903 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 168 0 0 1538 0 0
normalized size 1 1. 1.06 0. 0. 9.67 0. 0.
time (sec) N/A 0.102 5.149 0.416 0. 1.736 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 180 0 0 1617 0 0
normalized size 1 1. 1.18 0. 0. 10.64 0. 0.
time (sec) N/A 0.068 5.211 0.376 0. 1.761 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 78 78 126 76 147 217 0 0
normalized size 1 1. 1.62 0.97 1.88 2.78 0. 0.
time (sec) N/A 0.021 0.08 0.006 0.96 1.669 0. 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 106 115 215 328 0 0
normalized size 1 1. 0.61 0.66 1.24 1.89 0. 0.
time (sec) N/A 0.073 5.061 0.007 0.972 1.737 0. 0.


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 211 211 138 156 284 433 0 0
normalized size 1 1. 0.65 0.74 1.35 2.05 0. 0.
time (sec) N/A 0.127 5.074 0.007 0.978 1.847 0. 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 169 197 352 544 0 0
normalized size 1 1. 0.67 0.78 1.39 2.15 0. 0.
time (sec) N/A 0.207 5.086 0.008 0.97 2.066 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 135 135 177 0 0 0 418 0
normalized size 1 1. 1.31 0. 0. 0. 3.1 0.
time (sec) N/A 0.067 2.214 0.216 0. 0. 13.769 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 133 133 176 0 0 0 270 0
normalized size 1 1. 1.32 0. 0. 0. 2.03 0.
time (sec) N/A 0.077 3.316 0.23 0. 0. 6.099 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 131 131 179 0 0 0 131 0
normalized size 1 1. 1.37 0. 0. 0. 1. 0.
time (sec) N/A 0.062 2.282 0.222 0. 0. 2.903 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 132 132 304 0 0 0 126 0
normalized size 1 1. 2.3 0. 0. 0. 0.95 0.
time (sec) N/A 0.075 4.109 0.217 0. 0. 2.889 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 146 146 171 0 0 0 0 0
normalized size 1 1. 1.17 0. 0. 0. 0. 0.
time (sec) N/A 0.095 2.525 0.427 0. 0. 0. 0.


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 147 147 171 0 0 0 0 0
normalized size 1 1. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.088 4.471 0.369 0. 0. 0. 0.


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 120 134 246 356 0 0
normalized size 1 1. 1.1 1.23 2.26 3.27 0. 0.
time (sec) N/A 0.036 0.037 0.005 0.976 1.657 0. 0.


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 331 62 655 0 0 1486 0 0
normalized size 1 0.19 1.98 0. 0. 4.49 0. 0.
time (sec) N/A 0.028 0.789 0.426 0. 61.647 0. 0.


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 273 60 443 0 0 1258 0 0
normalized size 1 0.22 1.62 0. 0. 4.61 0. 0.
time (sec) N/A 0.027 0.477 0.427 0. 6.457 0. 0.


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 233 59 161 0 0 1102 0 0
normalized size 1 0.25 0.69 0. 0. 4.73 0. 0.
time (sec) N/A 0.027 0.154 0.428 0. 1.887 0. 0.


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 207 168 0 0 0 0 0
normalized size 1 1.4 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.192 0.149 0.414 0. 0. 0. 0.


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 179 238 256 0 0 0 0 0
normalized size 1 1.33 1.43 0. 0. 0. 0. 0.
time (sec) N/A 0.193 0.43 0.396 0. 0. 0. 0.


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F F
verified N/A NO NO TBD TBD TBD TBD TBD
size 226 621 621 0 0 0 0 0
normalized size 1 2.75 2.75 0. 0. 0. 0. 0.
time (sec) N/A 2.58 1.927 0.403 0. 0. 0. 0.


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 280 1172 1172 0 0 0 0 0
normalized size 1 4.19 4.19 0. 0. 0. 0. 0.
time (sec) N/A 6.642 4.355 0.408 0. 0. 0. 0.


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 60 60 346 0 0 0 0 0
normalized size 1 1. 5.77 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.461 0.415 0. 0. 0. 0.


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 160 0 0 0 0 0
normalized size 1 1. 2.71 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.151 0.426 0. 0. 0. 0.


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 161 0 0 0 0 0
normalized size 1 1. 2.73 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.045 0.418 0. 0. 0. 0.


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 62 62 332 0 0 0 0 0
normalized size 1 1. 5.35 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.257 0.418 0. 0. 0. 0.


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 62 62 429 0 0 0 0 0
normalized size 1 1. 6.92 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.785 0.408 0. 0. 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 351 62 698 0 0 1810 0 0
normalized size 1 0.18 1.99 0. 0. 5.16 0. 0.
time (sec) N/A 0.029 0.891 0.248 0. 40.081 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 301 60 450 0 0 1454 0 0
normalized size 1 0.2 1.5 0. 0. 4.83 0. 0.
time (sec) N/A 0.028 0.607 0.405 0. 3.599 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 182 241 78 0 0 0 0 0
normalized size 1 1.32 0.43 0. 0. 0. 0. 0.
time (sec) N/A 0.21 0.03 0.401 0. 0. 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 276 99 0 0 0 0 0
normalized size 1 1.27 0.46 0. 0. 0. 0. 0.
time (sec) N/A 0.204 0.106 0.408 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 261 625 625 0 0 0 0 0
normalized size 1 2.39 2.39 0. 0. 0. 0. 0.
time (sec) N/A 1.934 1.451 0.403 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 324 1214 1216 0 0 0 0 0
normalized size 1 3.75 3.75 0. 0. 0. 0. 0.
time (sec) N/A 5.692 4.103 0.423 0. 0. 0. 0.


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 60 60 341 0 0 0 0 0
normalized size 1 1. 5.68 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.334 0.441 0. 0. 0. 0.


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 232 0 0 0 0 0
normalized size 1 1. 3.93 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.202 0.417 0. 0. 0. 0.


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 393 0 0 0 0 0
normalized size 1 1. 6.66 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.272 0.412 0. 0. 0. 0.


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 62 62 386 0 0 0 0 0
normalized size 1 1. 6.23 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.505 0.411 0. 0. 0. 0.


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 62 62 550 0 0 0 0 0
normalized size 1 1. 8.87 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.983 0.405 0. 0. 0. 0.


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 541 62 1171 0 0 0 0 0
normalized size 1 0.11 2.16 0. 0. 0. 0. 0.
time (sec) N/A 0.027 2.193 0.263 0. 0. 0. 0.


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 458 62 908 0 0 2693 0 0
normalized size 1 0.14 1.98 0. 0. 5.88 0. 0.
time (sec) N/A 0.028 1.742 0.258 0. 174.293 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F B F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 391 62 651 0 0 2080 0 0
normalized size 1 0.16 1.66 0. 0. 5.32 0. 0.
time (sec) N/A 0.028 0.902 0.423 0. 16.033 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 217 276 79 0 0 0 0 0
normalized size 1 1.27 0.36 0. 0. 0. 0. 0.
time (sec) N/A 0.239 0.026 0.438 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 326 153 0 0 0 0 0
normalized size 1 1.22 0.57 0. 0. 0. 0. 0.
time (sec) N/A 0.243 0.161 0.432 0. 0. 0. 0.


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 307 167 168 0 0 0 0 0
normalized size 1 0.54 0.55 0. 0. 0. 0. 0.
time (sec) N/A 0.31 0.226 0.441 0. 0. 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C C F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 377 428 428 0 0 0 0 0
normalized size 1 1.14 1.14 0. 0. 0. 0. 0.
time (sec) N/A 2.742 2.266 0.435 0. 0. 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A C A F F F(-1) F(-1) F
verified N/A NO NO TBD TBD TBD TBD TBD
size 463 1990 337 0 0 0 0 0
normalized size 1 4.3 0.73 0. 0. 0. 0. 0.
time (sec) N/A 8.662 5.848 0.428 0. 0. 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 60 60 316 0 0 0 0 0
normalized size 1 1. 5.27 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.5 0.436 0. 0. 0. 0.


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 431 0 0 0 0 0
normalized size 1 1. 7.31 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.541 0.43 0. 0. 0. 0.


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 442 0 0 0 0 0
normalized size 1 1. 7.49 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.684 0.422 0. 0. 0. 0.


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 62 62 531 0 0 0 0 0
normalized size 1 1. 8.56 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.917 0.429 0. 0. 0. 0.


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 62 62 515 0 0 0 0 0
normalized size 1 1. 8.31 0. 0. 0. 0. 0.
time (sec) N/A 0.029 1.633 0.45 0. 0. 0. 0.


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 155 155 90 0 0 0 0 0
normalized size 1 1. 0.58 0. 0. 0. 0. 0.
time (sec) N/A 0.062 0.033 0.466 0. 0. 0. 0.


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 155 155 90 0 0 0 0 0
normalized size 1 1. 0.58 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.032 0.487 0. 0. 0. 0.


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 122 122 89 0 0 0 0 0
normalized size 1 1. 0.73 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.02 0.444 0. 0. 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 122 122 89 0 0 0 0 0
normalized size 1 1. 0.73 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.024 0.453 0. 0. 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 86 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.029 0.446 0. 0. 0. 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 86 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.017 0.021 0.433 0. 0. 0. 0.


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 87 87 89 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.016 0.022 0.449 0. 0. 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 121 121 89 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.025 0.433 0. 0. 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 121 121 89 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.035 0.026 0.433 0. 0. 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 153 153 90 0 0 0 0 0
normalized size 1 1. 0.59 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.03 0.5 0. 0. 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 153 153 90 0 0 0 0 0
normalized size 1 1. 0.59 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.026 0.439 0. 0. 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 172 0 0 0 0 0
normalized size 1 1. 2.18 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.22 0.503 0. 0. 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 176 106 0 0 0 0 0
normalized size 1 1.05 0.63 0. 0. 0. 0. 0.
time (sec) N/A 0.126 0.051 0.431 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 85 90 0 0 0 0 0
normalized size 1 1.01 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.029 0.239 0. 0. 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.172 0.44 0. 0. 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.194 0.443 0. 0. 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 137 0 0 0 0 0
normalized size 1 1. 0.46 0. 0. 0. 0. 0.
time (sec) N/A 0.304 5.064 0.41 0. 0. 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 106 0 0 0 0 0
normalized size 1 1. 0.6 0. 0. 0. 0. 0.
time (sec) N/A 0.126 5.042 0.398 0. 0. 0. 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 85 90 0 0 0 0 0
normalized size 1 0.91 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.042 0.031 0.225 0. 0. 0. 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F C F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 44 44 196 0 0 0 34 0
normalized size 1 1. 4.45 0. 0. 0. 0.77 0.
time (sec) N/A 0.01 0.155 0.25 0. 0. 15.311 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.185 0.431 0. 0. 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.025 0.191 0.461 0. 0. 0. 0.


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.238 0.442 0. 0. 0. 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 52 71 0 182 0 0
normalized size 1 1. 0.98 1.34 0. 3.43 0. 0.
time (sec) N/A 0.019 0.033 0.003 0. 1.472 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 94 97 130 242 107 132
normalized size 1 1. 1. 1.03 1.38 2.57 1.14 1.4
time (sec) N/A 0.068 0.021 0.001 0.942 1.099 0.08 1.106


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 73 95 182 76 100
normalized size 1 1. 1. 1.04 1.36 2.6 1.09 1.43
time (sec) N/A 0.049 0.015 0. 0.94 1.025 0.073 1.106


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 65 123 53 68
normalized size 1 1. 1. 0.98 1.3 2.46 1.06 1.36
time (sec) N/A 0.029 0.012 0. 0.948 1.05 0.068 1.092


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 25 32 66 26 35
normalized size 1 1. 1. 0.89 1.14 2.36 0.93 1.25
time (sec) N/A 0.014 0.005 0.001 0.948 0.946 0.058 1.103


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 196 266 0 1315 87 331
normalized size 1 1. 0.88 1.19 0. 5.9 0.39 1.48
time (sec) N/A 0.151 0.129 0.007 0. 1.368 0.589 1.1


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 212 295 0 1526 112 359
normalized size 1 1. 0.87 1.2 0. 6.23 0.46 1.47
time (sec) N/A 0.147 0.172 0.008 0. 1.419 0.839 1.127


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 273 273 243 314 0 1752 151 386
normalized size 1 1. 0.89 1.15 0. 6.42 0.55 1.41
time (sec) N/A 0.174 0.207 0.01 0. 1.398 1.65 1.135


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 154 163 213 413 185 234
normalized size 1 1. 1. 1.06 1.38 2.68 1.2 1.52
time (sec) N/A 0.114 0.031 0. 0.95 1.111 0.091 1.112


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 122 125 167 315 139 178
normalized size 1 1. 1. 1.02 1.37 2.58 1.14 1.46
time (sec) N/A 0.077 0.022 0.001 0.956 1.023 0.085 1.109


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 82 87 111 217 97 123
normalized size 1 1. 1. 1.06 1.35 2.65 1.18 1.5
time (sec) N/A 0.049 0.017 0.001 0.945 1.088 0.076 1.096


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 65 123 53 68
normalized size 1 1. 1. 0.98 1.3 2.46 1.06 1.36
time (sec) N/A 0.03 0.008 0.001 0.971 1.073 0.13 1.091


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 231 436 0 2547 187 477
normalized size 1 1. 0.91 1.72 0. 10.07 0.74 1.89
time (sec) N/A 0.194 0.109 0.003 0. 1.507 1.418 1.097


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 298 475 0 2909 219 508
normalized size 1 1. 1.02 1.63 0. 10. 0.75 1.75
time (sec) N/A 0.366 0.173 0.01 0. 1.573 2.745 1.135


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 349 349 319 499 0 3302 264 549
normalized size 1 1. 0.91 1.43 0. 9.46 0.76 1.57
time (sec) N/A 0.266 0.186 0.008 0. 1.575 8.058 1.141


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 332 332 322 837 0 5701 430 833
normalized size 1 1. 0.97 2.52 0. 17.17 1.3 2.51
time (sec) N/A 0.267 0.192 0.007 0. 1.728 2.906 1.11


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 288 288 271 627 0 4034 301 649
normalized size 1 1. 0.94 2.18 0. 14.01 1.05 2.25
time (sec) N/A 0.223 0.143 0.001 0. 1.687 1.736 1.109


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 231 436 0 2547 187 477
normalized size 1 1. 0.91 1.72 0. 10.07 0.74 1.89
time (sec) N/A 0.19 0.106 0.003 0. 1.44 1.077 1.437


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 196 266 0 1316 87 331
normalized size 1 1. 0.88 1.19 0. 5.9 0.39 1.48
time (sec) N/A 0.138 0.127 0.003 0. 1.497 0.634 1.139


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 449 449 340 320 0 2668 0 0
normalized size 1 1. 0.76 0.71 0. 5.94 0. 0.
time (sec) N/A 0.268 0.128 0.006 0. 2.717 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 513 513 498 550 0 6808 0 900
normalized size 1 1. 0.97 1.07 0. 13.27 0. 1.75
time (sec) N/A 0.42 0.317 0.01 0. 117.466 0. 3.02


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 391 1118 0 8400 0 1077
normalized size 1 1. 0.96 2.75 0. 20.64 0. 2.65
time (sec) N/A 0.396 0.365 0.012 0. 2.347 0. 1.115


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 357 357 341 885 0 6400 466 867
normalized size 1 1. 0.96 2.48 0. 17.93 1.31 2.43
time (sec) N/A 0.367 0.288 0.01 0. 2.214 37.26 1.114


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 317 317 301 669 0 4251 335 670
normalized size 1 1. 0.95 2.11 0. 13.41 1.06 2.11
time (sec) N/A 0.317 0.222 0.009 0. 2.089 6.684 1.107


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 297 475 0 2909 219 508
normalized size 1 1. 1.02 1.63 0. 10. 0.75 1.75
time (sec) N/A 0.377 0.177 0.009 0. 1.926 2.065 1.127


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 245 245 212 295 0 1526 112 359
normalized size 1 1. 0.87 1.2 0. 6.23 0.46 1.47
time (sec) N/A 0.153 0.166 0.007 0. 1.646 0.886 1.109


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 513 513 499 550 0 6809 0 900
normalized size 1 1. 0.97 1.07 0. 13.27 0. 1.75
time (sec) N/A 0.428 0.324 0.01 0. 120.692 0. 1.137


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) F(-1) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 596 596 561 784 0 0 0 0
normalized size 1 1. 0.94 1.32 0. 0. 0. 0.
time (sec) N/A 0.739 1.412 0.015 0. 0. 0. 0.


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 321 321 290 408 0 0 0 0
normalized size 1 1. 0.9 1.27 0. 0. 0. 0.
time (sec) N/A 0.383 0.716 0.051 0. 0. 0. 0.


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 277 277 341 311 0 0 0 0
normalized size 1 1. 1.23 1.12 0. 0. 0. 0.
time (sec) N/A 0.262 0.351 0.019 0. 0. 0. 0.


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 240 240 155 259 0 0 0 0
normalized size 1 1. 0.65 1.08 0. 0. 0. 0.
time (sec) N/A 0.163 0.164 0.017 0. 0. 0. 0.


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 162 162 156 183 0 0 0 0
normalized size 1 1. 0.96 1.13 0. 0. 0. 0.
time (sec) N/A 0.115 0.13 0.016 0. 0. 0. 0.


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 281 281 381 301 0 0 0 0
normalized size 1 1. 1.36 1.07 0. 0. 0. 0.
time (sec) N/A 0.222 0.231 0.052 0. 0. 0. 0.


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 334 334 422 361 0 0 0 0
normalized size 1 1. 1.26 1.08 0. 0. 0. 0.
time (sec) N/A 0.4 0.725 0.032 0. 0. 0. 0.


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 926 926 346 322 0 0 0 0
normalized size 1 1. 0.37 0.35 0. 0. 0. 0.
time (sec) N/A 1.655 0.462 0.026 0. 0. 0. 0.


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 881 881 161 273 0 0 0 0
normalized size 1 1. 0.18 0.31 0. 0. 0. 0.
time (sec) N/A 0.88 0.152 0.017 0. 0. 0. 0.


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 742 742 161 191 0 0 0 0
normalized size 1 1. 0.22 0.26 0. 0. 0. 0.
time (sec) N/A 0.633 0.051 0.016 0. 0. 0. 0.


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 913 913 331 313 0 0 0 0
normalized size 1 1. 0.36 0.34 0. 0. 0. 0.
time (sec) N/A 1.132 0.246 0.025 0. 0. 0. 0.


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 976 976 429 371 0 0 0 0
normalized size 1 1. 0.44 0.38 0. 0. 0. 0.
time (sec) N/A 1.683 0.779 0.03 0. 0. 0. 0.


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 426 426 477 540 0 0 0 0
normalized size 1 1. 1.12 1.27 0. 0. 0. 0.
time (sec) N/A 0.536 0.821 0.029 0. 0. 0. 0.


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 365 365 396 412 0 0 0 0
normalized size 1 1. 1.08 1.13 0. 0. 0. 0.
time (sec) N/A 0.405 0.579 0.028 0. 0. 0. 0.


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 309 309 342 329 0 0 0 0
normalized size 1 1. 1.11 1.06 0. 0. 0. 0.
time (sec) N/A 0.277 0.3 0.026 0. 0. 0. 0.


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 276 276 233 294 0 0 0 0
normalized size 1 1. 0.84 1.07 0. 0. 0. 0.
time (sec) N/A 0.215 0.132 0.025 0. 0. 0. 0.


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 310 310 386 322 0 0 0 0
normalized size 1 1. 1.25 1.04 0. 0. 0. 0.
time (sec) N/A 0.247 0.259 0.024 0. 0. 0. 0.


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 362 362 374 375 0 0 0 0
normalized size 1 1. 1.03 1.04 0. 0. 0. 0.
time (sec) N/A 0.404 0.524 0.038 0. 0. 0. 0.


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 439 439 382 484 0 0 0 0
normalized size 1 1. 0.87 1.1 0. 0. 0. 0.
time (sec) N/A 0.536 0.822 0.038 0. 0. 0. 0.


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 103 103 155 103 0 787 0 0
normalized size 1 1. 1.5 1. 0. 7.64 0. 0.
time (sec) N/A 0.056 0.147 0.106 0. 5.719 0. 0.


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 116 116 155 158 0 822 0 0
normalized size 1 1. 1.34 1.36 0. 7.09 0. 0.
time (sec) N/A 0.023 0.154 0.018 0. 5. 0. 0.


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 211 211 364 0 0 5146 0 0
normalized size 1 1. 1.73 0. 0. 24.39 0. 0.
time (sec) N/A 0.225 0.445 0.423 0. 16.548 0. 0.


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 173 173 161 0 0 1794 0 0
normalized size 1 1. 0.93 0. 0. 10.37 0. 0.
time (sec) N/A 0.103 0.158 0.415 0. 2.196 0. 0.


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 84 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.041 0.405 0. 0. 0. 0.


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 134 134 256 0 0 0 0 0
normalized size 1 1. 1.91 0. 0. 0. 0. 0.
time (sec) N/A 0.096 0.346 0.411 0. 0. 0. 0.


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 180 180 621 0 0 0 0 0
normalized size 1 1. 3.45 0. 0. 0. 0. 0.
time (sec) N/A 0.203 1.662 0.41 0. 0. 0. 0.


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 233 233 1172 0 0 0 0 0
normalized size 1 1. 5.03 0. 0. 0. 0. 0.
time (sec) N/A 0.295 4.363 0.425 0. 0. 0. 0.


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 316 316 294 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.338 0.66 0.431 0. 0. 0. 0.


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 274 274 346 0 0 0 0 0
normalized size 1 1. 1.26 0. 0. 0. 0. 0.
time (sec) N/A 0.156 0.322 0.416 0. 0. 0. 0.


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 166 166 160 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.089 0.153 0.407 0. 0. 0. 0.


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 259 259 161 0 0 0 0 0
normalized size 1 1. 0.62 0. 0. 0. 0. 0.
time (sec) N/A 0.154 0.032 0.409 0. 0. 0. 0.


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 304 304 332 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.238 0.256 0.403 0. 0. 0. 0.


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 357 357 430 0 0 0 0 0
normalized size 1 1. 1.2 0. 0. 0. 0. 0.
time (sec) N/A 0.401 0.725 0.402 0. 0. 0. 0.


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 280 280 560 0 0 7871 0 0
normalized size 1 1. 2. 0. 0. 28.11 0. 0.
time (sec) N/A 0.359 0.794 0.245 0. 87.739 0. 0.


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 230 230 358 0 0 3656 0 0
normalized size 1 1. 1.56 0. 0. 15.9 0. 0.
time (sec) N/A 0.175 0.554 0.434 0. 6.943 0. 0.


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 135 135 78 0 0 0 0 0
normalized size 1 1. 0.58 0. 0. 0. 0. 0.
time (sec) N/A 0.076 0.033 0.41 0. 0. 0. 0.


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 99 0 0 0 0 0
normalized size 1 1. 0.61 0. 0. 0. 0. 0.
time (sec) N/A 0.109 0.106 0.41 0. 0. 0. 0.


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 205 205 625 0 0 0 0 0
normalized size 1 1. 3.05 0. 0. 0. 0. 0.
time (sec) N/A 0.184 1.373 0.409 0. 0. 0. 0.


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 266 266 1216 0 0 0 0 0
normalized size 1 1. 4.57 0. 0. 0. 0. 0.
time (sec) N/A 0.293 3.814 0.425 0. 0. 0. 0.


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 353 353 392 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.348 0.503 0.253 0. 0. 0. 0.


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 298 298 341 0 0 0 0 0
normalized size 1 1. 1.14 0. 0. 0. 0. 0.
time (sec) N/A 0.24 0.325 0.403 0. 0. 0. 0.


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 308 308 233 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.203 0.212 0.435 0. 0. 0. 0.


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 330 330 337 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.25 0.341 0.441 0. 0. 0. 0.


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 390 390 387 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.406 0.535 0.431 0. 0. 0. 0.


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 44 0 0 583 0 0
normalized size 1 1. 0.83 0. 0. 11. 0. 0.
time (sec) N/A 0.018 0.015 0.388 0. 44.14 0. 0.


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 48 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.022 0.02 0.457 0. 0. 0. 0.


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 172 0 0 0 0 0
normalized size 1 1. 2.18 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.227 0.477 0. 0. 0. 0.


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 106 0 0 0 0 0
normalized size 1 1. 0.6 0. 0. 0. 0. 0.
time (sec) N/A 0.133 0.053 0.361 0. 0. 0. 0.


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 85 90 0 0 0 75 0
normalized size 1 0.91 0.97 0. 0. 0. 0.81 0.
time (sec) N/A 0.041 0.03 0.212 0. 0. 92.166 0.


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.173 0.414 0. 0. 0. 0.


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 57 57 162 0 0 0 0 0
normalized size 1 1. 2.84 0. 0. 0. 0. 0.
time (sec) N/A 0.028 0.188 0.413 0. 0. 0. 0.


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 545 545 49 0 0 0 0 0
normalized size 1 1. 0.09 0. 0. 0. 0. 0.
time (sec) N/A 1.085 0.02 0.427 0. 0. 0. 0.


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 118 248 0 672 454 0
normalized size 1 1. 0.83 1.73 0. 4.7 3.17 0.
time (sec) N/A 0.123 0.146 0.016 0. 1.271 26.27 0.


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 84 191 0 462 121 0
normalized size 1 1. 0.85 1.93 0. 4.67 1.22 0.
time (sec) N/A 0.067 0.088 0.01 0. 1.334 17.749 0.


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 52 163 0 300 87 0
normalized size 1 1. 0.7 2.2 0. 4.05 1.18 0.
time (sec) N/A 0.048 0.041 0.009 0. 1.313 20.045 0.


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 39 74 0 234 42 86
normalized size 1 1. 1. 1.9 0. 6. 1.08 2.21
time (sec) N/A 0.019 0.016 0.003 0. 1.328 1.824 1.145


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 100 287 0 1110 0 0
normalized size 1 1. 0.96 2.76 0. 10.67 0. 0.
time (sec) N/A 0.111 0.192 0.062 0. 1.497 0. 0.


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 122 943 0 1760 0 0
normalized size 1 1. 0.83 6.41 0. 11.97 0. 0.
time (sec) N/A 0.209 0.312 0.013 0. 1.502 0. 0.


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 213 330 1972 0 3664 0 1107
normalized size 1 1. 1.55 9.26 0. 17.2 0. 5.2
time (sec) N/A 0.34 0.61 0.015 0. 2.028 0. 1.331


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 159 353 0 845 1817 0
normalized size 1 1. 0.97 2.15 0. 5.15 11.08 0.
time (sec) N/A 0.142 0.169 0.012 0. 1.377 68.451 0.


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 106 260 0 610 534 0
normalized size 1 1. 0.84 2.06 0. 4.84 4.24 0.
time (sec) N/A 0.08 0.177 0.011 0. 1.248 44.128 0.


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 73 205 0 392 163 0
normalized size 1 1. 0.73 2.05 0. 3.92 1.63 0.
time (sec) N/A 0.063 0.069 0.009 0. 1.294 27.871 0.


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A B F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 46 100 0 246 92 0
normalized size 1 1. 0.85 1.85 0. 4.56 1.7 0.
time (sec) N/A 0.025 0.019 0.007 0. 1.523 2.376 0.


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 102 528 0 1156 0 0
normalized size 1 1. 0.96 4.98 0. 10.91 0. 0.
time (sec) N/A 0.128 0.191 0.011 0. 1.768 0. 0.


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 143 834 0 1682 0 0
normalized size 1 1. 0.92 5.35 0. 10.78 0. 0.
time (sec) N/A 0.222 0.285 0.01 0. 1.808 0. 0.


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 168 1817 0 3646 0 981
normalized size 1 1. 0.8 8.69 0. 17.44 0. 4.69
time (sec) N/A 0.345 0.448 0.011 0. 1.816 0. 1.317


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 201 457 0 1115 5513 0
normalized size 1 1. 1.02 2.31 0. 5.63 27.84 0.
time (sec) N/A 0.158 0.212 0.013 0. 1.371 91.14 0.


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 121 336 0 807 1841 0
normalized size 1 1. 0.8 2.21 0. 5.31 12.11 0.
time (sec) N/A 0.102 0.136 0.013 0. 1.273 57.478 0.


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 94 253 0 527 520 0
normalized size 1 1. 0.75 2.02 0. 4.22 4.16 0.
time (sec) N/A 0.077 0.094 0.01 0. 1.238 34.91 0.


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 64 120 0 329 99 0
normalized size 1 1. 0.9 1.69 0. 4.63 1.39 0.
time (sec) N/A 0.034 0.044 0.007 0. 1.423 3.371 0.


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 116 859 0 1431 0 0
normalized size 1 1. 0.87 6.41 0. 10.68 0. 0.
time (sec) N/A 0.221 0.183 0.013 0. 2.267 0. 0.


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 145 1323 0 2125 0 0
normalized size 1 1. 0.87 7.97 0. 12.8 0. 0.
time (sec) N/A 0.234 0.34 0.034 0. 1.951 0. 0.


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 191 1638 0 3040 0 1276
normalized size 1 1. 0.81 6.91 0. 12.83 0. 5.38
time (sec) N/A 0.373 0.546 0.011 0. 1.896 0. 1.378


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 95 535 0 510 386 207
normalized size 1 1. 0.75 4.25 0. 4.05 3.06 1.64
time (sec) N/A 0.09 0.109 0.014 0. 1.376 40.841 1.201


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 66 348 0 359 114 131
normalized size 1 1. 0.9 4.77 0. 4.92 1.56 1.79
time (sec) N/A 0.054 0.071 0.013 0. 1.364 25.404 1.202


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 53 173 0 277 82 99
normalized size 1 1. 1.04 3.39 0. 5.43 1.61 1.94
time (sec) N/A 0.033 0.034 0.01 0. 1.295 24.435 1.189


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 43 70 0 239 44 96
normalized size 1 1. 1. 1.63 0. 5.56 1.02 2.23
time (sec) N/A 0.02 0.018 0.006 0. 1.237 2.143 1.155


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 104 228 0 1215 0 174
normalized size 1 1. 0.96 2.11 0. 11.25 0. 1.61
time (sec) N/A 0.096 0.177 0.011 0. 1.511 0. 1.193


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 150 1135 0 2408 0 393
normalized size 1 1. 0.87 6.6 0. 14. 0. 2.28
time (sec) N/A 0.218 0.61 0.017 0. 1.894 0. 1.211


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 250 250 216 2269 0 4749 0 459
normalized size 1 1. 0.86 9.08 0. 19. 0. 1.84
time (sec) N/A 0.4 1.404 0.014 0. 3.794 0. 1.224


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 92 969 0 699 0 297
normalized size 1 1. 0.7 7.34 0. 5.3 0. 2.25
time (sec) N/A 0.101 0.055 0.016 0. 1.324 0. 1.205


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 90 81 789 0 586 0 217
normalized size 1 0.96 0.86 8.39 0. 6.23 0. 2.31
time (sec) N/A 0.079 0.086 0.012 0. 1.304 0. 1.713


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 48 387 0 473 224 165
normalized size 1 1. 0.63 5.09 0. 6.22 2.95 2.17
time (sec) N/A 0.05 0.021 0.01 0. 1.354 21.589 1.199


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 61 36 198 0 352 71 116
normalized size 1 1.02 0.6 3.3 0. 5.87 1.18 1.93
time (sec) N/A 0.031 0.012 0.009 0. 1.311 3.066 1.191


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 106 962 0 2195 0 261
normalized size 1 1. 0.72 6.54 0. 14.93 0. 1.78
time (sec) N/A 0.194 0.055 0.016 0. 2.032 0. 1.19


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 164 3119 0 4641 0 560
normalized size 1 1. 0.73 13.92 0. 20.72 0. 2.5
time (sec) N/A 0.323 0.116 0.014 0. 4.018 0. 1.186


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 320 320 239 5158 0 8142 0 678
normalized size 1 1. 0.75 16.12 0. 25.44 0. 2.12
time (sec) N/A 0.525 0.212 0.016 0. 10.481 0. 1.207


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 145 1150 0 1002 0 267
normalized size 1 1. 1.01 8.04 0. 7.01 0. 1.87
time (sec) N/A 0.151 0.294 0.014 0. 1.327 0. 1.195


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 118 97 588 0 864 0 217
normalized size 1 0.97 0.8 4.82 0. 7.08 0. 1.78
time (sec) N/A 0.095 0.049 0.011 0. 1.368 0. 1.202


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 60 541 0 726 1479 185
normalized size 1 1. 0.58 5.25 0. 7.05 14.36 1.8
time (sec) N/A 0.065 0.023 0.011 0. 1.396 57.651 1.194


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 82 38 271 0 501 774 132
normalized size 1 1.04 0.48 3.43 0. 6.34 9.8 1.67
time (sec) N/A 0.038 0.016 0.008 0. 1.274 4.937 1.225


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 118 1767 0 4049 0 332
normalized size 1 1. 0.59 8.79 0. 20.14 0. 1.65
time (sec) N/A 0.315 0.059 0.013 0. 4.558 0. 1.182


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 287 178 4644 0 7776 0 779
normalized size 1 1. 0.62 16.18 0. 27.09 0. 2.71
time (sec) N/A 0.448 0.132 0.017 0. 11.729 0. 1.231


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 409 409 239 7300 0 12556 0 703
normalized size 1 1. 0.58 17.85 0. 30.7 0. 1.72
time (sec) N/A 0.702 0.214 0.019 0. 31.435 0. 1.23


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 167 253 0 1995 0 0
normalized size 1 1. 1.36 2.06 0. 16.22 0. 0.
time (sec) N/A 0.094 1.01 0.046 0. 5.403 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 81 155 0 551 0 0
normalized size 1 1. 1. 1.91 0. 6.8 0. 0.
time (sec) N/A 0.052 0.061 0.024 0. 2.211 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 87 280 0 710 0 0
normalized size 1 1. 0.71 2.3 0. 5.82 0. 0.
time (sec) N/A 0.08 0.095 0.032 0. 2.082 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 96 96 206 0 0 0 0 0
normalized size 1 1. 2.15 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.303 0.121 0. 0. 0. 0.


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 40 45 0 223 82 45
normalized size 1 1. 1.03 1.15 0. 5.72 2.1 1.15
time (sec) N/A 0.02 0.026 0.004 0. 1.233 0.404 1.135


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 233 233 205 277 0 0 0 0
normalized size 1 1. 0.88 1.19 0. 0. 0. 0.
time (sec) N/A 0.218 0.296 0.038 0. 0. 0. 0.


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 232 86 94 0 0 0 0
normalized size 1 1. 0.37 0.41 0. 0. 0. 0.
time (sec) N/A 0.205 0.061 0.018 0. 0. 0. 0.


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 262 262 191 187 0 0 0 0
normalized size 1 1. 0.73 0.71 0. 0. 0. 0.
time (sec) N/A 0.28 0.224 0.071 0. 0. 0. 0.


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 79 79 104 0 0 0 0 0
normalized size 1 1. 1.32 0. 0. 0. 0. 0.
time (sec) N/A 0.088 0.11 0.093 0. 0. 0. 0.


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 129 195 0 926 71 217
normalized size 1 1. 0.89 1.34 0. 6.39 0.49 1.5
time (sec) N/A 0.106 0.084 0.004 0. 1.343 0.518 1.132


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 41 59 63 111 82 66
normalized size 1 1. 0.84 1.2 1.29 2.27 1.67 1.35
time (sec) N/A 0.049 0.041 0.004 0.967 1.308 0.271 1.098


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 21 27 65 24 27
normalized size 1 1. 1. 0.81 1.04 2.5 0.92 1.04
time (sec) N/A 0.016 0.01 0.003 0.941 1.33 0.167 1.104


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 24 31 77 27 32
normalized size 1 1. 1. 1.41 1.82 4.53 1.59 1.88
time (sec) N/A 0.015 0.004 0.004 0.973 1.422 0.224 1.361


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A A F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 22 66 96 261 102 0
normalized size 1 1. 0.21 0.63 0.92 2.51 0.98 0.
time (sec) N/A 0.086 0.003 0.006 1.456 1.577 8.583 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 23 30 66 26 31
normalized size 1 1. 1. 0.77 1. 2.2 0.87 1.03
time (sec) N/A 0.019 0.013 0.003 0.932 1.442 0.16 1.135


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 79 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.034 0.641 0. 0. 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 76 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 0.016 0.376 0. 0. 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 72 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.019 0.856 0. 0. 0. 0.


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 110 138 0 1166 2744 999
normalized size 1 1. 0.83 1.05 0. 8.83 20.79 7.57
time (sec) N/A 0.111 0.148 0.059 0. 1.645 3.279 1.15


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 90 104 0 695 1540 608
normalized size 1 1. 0.91 1.05 0. 7.02 15.56 6.14
time (sec) N/A 0.073 0.106 0.009 0. 1.599 1.761 1.112


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 74 0 382 726 313
normalized size 1 1. 1. 1.06 0. 5.46 10.37 4.47
time (sec) N/A 0.045 0.081 0.009 0. 1.656 0.928 1.129


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 37 43 0 155 236 112
normalized size 1 1. 0.92 1.08 0. 3.88 5.9 2.8
time (sec) N/A 0.021 0.062 0.006 0. 1.604 0.44 1.094


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 40 0 0 0 73 0
normalized size 1 1. 0.93 0. 0. 0. 1.7 0.
time (sec) N/A 0.017 0.012 0.407 0. 0. 1.744 0.


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 56 0 0 0 592 0
normalized size 1 1. 0.77 0. 0. 0. 8.11 0.
time (sec) N/A 0.031 0.037 0.36 0. 0. 4.608 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.042 0.373 0. 0. 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.031 0.049 0.373 0. 0. 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 149 164 0 1434 0 1278
normalized size 1 1. 0.94 1.04 0. 9.08 0. 8.09
time (sec) N/A 0.13 0.159 0.055 0. 1.701 0. 1.648


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 105 117 0 787 0 728
normalized size 1 1. 0.94 1.04 0. 7.03 0. 6.5
time (sec) N/A 0.082 0.158 0.01 0. 1.645 0. 1.134


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 74 0 382 726 313
normalized size 1 1. 1. 1.06 0. 5.46 10.37 4.47
time (sec) N/A 0.047 0.086 0.008 0. 1.635 0.971 1.114


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 82 0 0 0 170 0
normalized size 1 1. 0.98 0. 0. 0. 2.02 0.
time (sec) N/A 0.094 0.044 0.353 0. 0. 3.319 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 95 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.113 0.385 0. 0. 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 133 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.16 0.107 0.353 0. 0. 0. 0.


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 310 310 133 0 0 0 369 0
normalized size 1 1. 0.43 0. 0. 0. 1.19 0.
time (sec) N/A 0.501 2.471 0.364 0. 0. 6.646 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 104 0 0 0 269 0
normalized size 1 1. 0.6 0. 0. 0. 1.55 0.
time (sec) N/A 0.267 0.983 0.382 0. 0. 4.735 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 75 0 0 0 170 0
normalized size 1 1. 0.89 0. 0. 0. 2.02 0.
time (sec) N/A 0.097 0.295 0.429 0. 0. 3.182 0.


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 40 0 0 0 73 0
normalized size 1 1. 0.95 0. 0. 0. 1.74 0.
time (sec) N/A 0.016 0.01 0.416 0. 0. 1.697 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 64 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.034 0.711 0. 0. 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 121 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.146 0.133 0.721 0. 0. 0. 0.


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 210 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.329 0.198 0.757 0. 0. 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 341 341 217 0 0 0 0 0
normalized size 1 1. 0.64 0. 0. 0. 0. 0.
time (sec) N/A 0.548 5.19 0.379 0. 0. 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 200 200 2050 0 0 0 0 0
normalized size 1 1. 10.25 0. 0. 0. 0. 0.
time (sec) N/A 0.26 4.21 0.368 0. 0. 0. 0.


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 115 115 666 0 0 0 0 0
normalized size 1 1. 5.79 0. 0. 0. 0. 0.
time (sec) N/A 0.094 1.575 0.369 0. 0. 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 56 0 0 0 592 0
normalized size 1 1. 0.78 0. 0. 0. 8.22 0.
time (sec) N/A 0.031 0.039 0.356 0. 0. 4.515 0.


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 108 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.142 0.151 0.719 0. 0. 0. 0.


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 147 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.271 0.209 0.734 0. 0. 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 233 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.547 0.324 0.734 0. 0. 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 81 81 190 0 0 0 0 0
normalized size 1 1. 2.35 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.393 0.816 0. 0. 0. 0.


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 402 401 168 0 0 0 0 0
normalized size 1 1. 0.42 0. 0. 0. 0. 0.
time (sec) N/A 0.578 5.254 0.623 0. 0. 0. 0.


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 197 140 0 0 0 143 0
normalized size 1 0.98 0.69 0. 0. 0. 0.71 0.
time (sec) N/A 0.269 5.158 0.55 0. 0. 23.894 0.


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 89 94 0 0 0 87 0
normalized size 1 0.91 0.96 0. 0. 0. 0.89 0.
time (sec) N/A 0.047 0.043 0.401 0. 0. 4.298 0.


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F C F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 0 0 0 37 0
normalized size 1 1. 1. 0. 0. 0. 0.8 0.
time (sec) N/A 0.011 0.005 0. 0. 0. 1.434 0.


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 180 0 0 0 0 0
normalized size 1 1. 3.05 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.256 0.711 0. 0. 0. 0.


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 180 0 0 0 0 0
normalized size 1 1. 3.05 0. 0. 0. 0. 0.
time (sec) N/A 0.03 0.278 0.676 0. 0. 0. 0.


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 59 59 180 0 0 0 0 0
normalized size 1 1. 3.05 0. 0. 0. 0. 0.
time (sec) N/A 0.029 0.406 0.708 0. 0. 0. 0.


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 93 93 94 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.022 0.067 0.773 0. 0. 0. 0.


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 218 0 0 971 0 0
normalized size 1 1. 1.22 0. 0. 5.46 0. 0.
time (sec) N/A 0.086 0.129 0.594 0. 1.663 0. 0.


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 113 0 0 468 0 0
normalized size 1 1. 0.97 0. 0. 4.03 0. 0.
time (sec) N/A 0.036 0.073 0.577 0. 1.585 0. 0.


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 82 0 0 177 0 0
normalized size 1 1. 1.41 0. 0. 3.05 0. 0.
time (sec) N/A 0.014 0.107 0.421 0. 1.61 0. 0.


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 53 0 61 211 0
normalized size 1 1. 1. 2.94 0. 3.39 11.72 0.
time (sec) N/A 0.003 0.027 0.061 0. 1.581 35.648 0.


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 52 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.013 0.714 0. 0. 0. 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 53 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.014 0.013 0.7 0. 0. 0. 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 55 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.011 0.724 0. 0. 0. 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 193 179 1414 0 0 0 0 0
normalized size 1 0.93 7.33 0. 0. 0. 0. 0.
time (sec) N/A 0.081 45.82 0.793 0. 0. 0. 0.


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 55 0 0 209 0 0
normalized size 1 1. 0.96 0. 0. 3.67 0. 0.
time (sec) N/A 0.027 0.049 0.817 0. 1.719 0. 0.


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 327 327 153 0 0 819 0 0
normalized size 1 1. 0.47 0. 0. 2.5 0. 0.
time (sec) N/A 0.184 0.198 0.586 0. 1.656 0. 0.


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 96 0 0 360 0 0
normalized size 1 1. 0.76 0. 0. 2.83 0. 0.
time (sec) N/A 0.064 0.097 0.449 0. 1.611 0. 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 55 0 0 139 0 0
normalized size 1 1. 1.1 0. 0. 2.78 0. 0.
time (sec) N/A 0.012 0.026 0.398 0. 1.586 0. 0.


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 153 0 0 0 0 0
normalized size 1 1. 1.61 0. 0. 0. 0. 0.
time (sec) N/A 0.031 6.441 0.696 0. 0. 0. 0.


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 127 127 1070 0 0 0 0 0
normalized size 1 1. 8.43 0. 0. 0. 0. 0.
time (sec) N/A 0.052 49.839 0.682 0. 0. 0. 0.


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 131 131 1241 0 0 0 0 0
normalized size 1 1. 9.47 0. 0. 0. 0. 0.
time (sec) N/A 0.056 42.82 0.702 0. 0. 0. 0.


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 133 133 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 180.006 0.717 0. 0. 0. 0.


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 164 110 92 240 246 0 309
normalized size 1 1.08 0.72 0.61 1.58 1.62 0. 2.03
time (sec) N/A 0.118 0.073 0.006 0.974 1.937 0. 1.298


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 118 88 68 167 193 0 227
normalized size 1 1.08 0.81 0.62 1.53 1.77 0. 2.08
time (sec) N/A 0.087 0.053 0.006 0.984 1.679 0. 1.191


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 72 62 44 95 140 0 126
normalized size 1 1.07 0.93 0.66 1.42 2.09 0. 1.88
time (sec) N/A 0.044 0.031 0.002 0.961 1.549 0. 1.518


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 85 174 0 174 0 109
normalized size 1 1. 1.06 2.17 0. 2.17 0. 1.36
time (sec) N/A 0.078 0.161 0.036 0. 1.555 0. 1.695


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 114 114 182 0 182 0 212
normalized size 1 1.19 1.19 1.9 0. 1.9 0. 2.21
time (sec) N/A 0.084 0.049 0.014 0. 1.547 0. 1.182


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 164 137 226 0 213 0 437
normalized size 1 1.36 1.13 1.87 0. 1.76 0. 3.61
time (sec) N/A 0.104 0.084 0.014 0. 1.58 0. 1.214


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 161 298 356 300 0 394
normalized size 1 1. 0.77 1.43 1.71 1.44 0. 1.89
time (sec) N/A 0.149 0.214 0.022 0.949 1.829 0. 1.35


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 135 240 284 243 0 311
normalized size 1 1. 0.85 1.51 1.79 1.53 0. 1.96
time (sec) N/A 0.123 0.163 0.013 0.97 1.65 0. 1.312


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 129 180 205 190 0 204
normalized size 1 1. 1.13 1.58 1.8 1.67 0. 1.79
time (sec) N/A 0.047 0.235 0.01 0.942 1.587 0. 1.261


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 101 153 0 181 0 149
normalized size 1 1. 0.97 1.47 0. 1.74 0. 1.43
time (sec) N/A 0.087 0.08 0.014 0. 1.579 0. 1.243


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 105 153 0 216 0 231
normalized size 1 1. 1.25 1.82 0. 2.57 0. 2.75
time (sec) N/A 0.08 0.076 0.016 0. 1.534 0. 1.321


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 117 191 231 224 216 205
normalized size 1 1. 0.94 1.53 1.85 1.79 1.73 1.64
time (sec) N/A 0.085 0.103 0.077 0.961 1.547 59.95 1.239


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 70 57 128 128 216 130
normalized size 1 1. 0.68 0.55 1.24 1.24 2.1 1.26
time (sec) N/A 0.075 0.042 0.003 0.946 1.542 45.711 1.188


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 98 147 177 180 212 151
normalized size 1 1. 1.13 1.69 2.03 2.07 2.44 1.74
time (sec) N/A 0.069 0.066 0.018 0.967 1.533 40.417 1.228


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 52 38 73 88 202 74
normalized size 1 1. 0.8 0.58 1.12 1.35 3.11 1.14
time (sec) N/A 0.04 0.027 0.004 0.987 1.476 27.926 1.164


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C B A C A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 47 47 101 103 120 136 182 96
normalized size 1 1. 2.15 2.19 2.55 2.89 3.87 2.04
time (sec) N/A 0.02 0.152 0.013 0.978 1.452 14.664 1.228


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 66 62 42 122 162 61
normalized size 1 1. 1.43 1.35 0.91 2.65 3.52 1.33
time (sec) N/A 0.061 0.025 0.018 1.459 1.497 18.002 1.138


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 73 77 68 131 148 78
normalized size 1 1. 2.21 2.33 2.06 3.97 4.48 2.36
time (sec) N/A 0.057 0.023 0.018 1.477 1.56 18.89 1.657


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 77 84 66 143 141 154
normalized size 1 1. 1.28 1.4 1.1 2.38 2.35 2.57
time (sec) N/A 0.063 0.045 0.019 1.429 1.519 26.115 1.19


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 51 37 73 120 146 157
normalized size 1 1. 0.82 0.6 1.18 1.94 2.35 2.53
time (sec) N/A 0.062 0.017 0.004 1.463 1.522 37.407 1.189


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 102 125 120 186 148 362
normalized size 1 1. 1.03 1.26 1.21 1.88 1.49 3.66
time (sec) N/A 0.078 0.091 0.02 1.412 1.521 52.027 1.169


















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 148 240 289 251 240 246
normalized size 1 1. 0.9 1.46 1.76 1.53 1.46 1.5
time (sec) N/A 0.12 0.116 0.028 0.961 1.586 87.195 1.27


















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 87 68 167 144 240 151
normalized size 1 1. 0.74 0.58 1.42 1.22 2.03 1.28
time (sec) N/A 0.086 0.054 0.006 0.967 1.572 60.904 1.212


















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 121 182 216 196 236 176
normalized size 1 1. 1.03 1.54 1.83 1.66 2. 1.49
time (sec) N/A 0.097 0.082 0.02 0.993 1.493 49.787 1.219


















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 61 43 93 93 223 82
normalized size 1 1. 0.85 0.6 1.29 1.29 3.1 1.14
time (sec) N/A 0.046 0.033 0.004 0.981 1.475 33.112 1.144


















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 119 124 140 142 199 107
normalized size 1 1. 1.75 1.82 2.06 2.09 2.93 1.57
time (sec) N/A 0.032 0.261 0.016 0.977 1.522 16.483 1.202


















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 87 108 0 135 178 74
normalized size 1 1. 1.55 1.93 0. 2.41 3.18 1.32
time (sec) N/A 0.069 0.032 0.019 0. 1.519 21.157 1.163


















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 90 97 0 143 165 89
normalized size 1 1. 1.58 1.7 0. 2.51 2.89 1.56
time (sec) N/A 0.075 0.039 0.02 0. 1.524 21.491 1.189


















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 102 158 0 165 162 190
normalized size 1 1. 1.34 2.08 0. 2.17 2.13 2.5
time (sec) N/A 0.073 0.057 0.022 0. 1.517 28.438 1.244


















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 66 49 0 144 170 185
normalized size 1 1. 0.88 0.65 0. 1.92 2.27 2.47
time (sec) N/A 0.069 0.026 0.005 0. 1.486 44.32 1.197


















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 144 227 0 219 172 439
normalized size 1 1. 1.17 1.85 0. 1.78 1.4 3.57
time (sec) N/A 0.095 0.094 0.02 0. 1.58 61.592 1.209


















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 119 316 289 390 233 290
normalized size 1 1. 0.74 1.96 1.8 2.42 1.45 1.8
time (sec) N/A 0.123 0.142 0.03 0.952 1.512 99.723 1.326


















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 72 68 166 161 226 194
normalized size 1 1. 0.63 0.59 1.44 1.4 1.97 1.69
time (sec) N/A 0.094 0.05 0.005 0.951 1.519 79.907 1.23


















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 90 254 211 325 212 208
normalized size 1 1. 0.59 1.67 1.39 2.14 1.39 1.37
time (sec) N/A 0.115 0.108 0.022 0.956 1.548 66.747 1.29


















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 45 43 93 107 201 127
normalized size 1 1. 0.59 0.57 1.22 1.41 2.64 1.67
time (sec) N/A 0.054 0.028 0.004 0.967 1.507 52.863 1.25


















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C A B C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 86 160 115 252 182 153
normalized size 1 1. 1.37 2.54 1.83 4. 2.89 2.43
time (sec) N/A 0.032 0.167 0.018 0.99 1.512 39.629 1.259


















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 84 188 0 201 172 155
normalized size 1 1. 1.29 2.89 0. 3.09 2.65 2.38
time (sec) N/A 0.081 0.039 0.021 0. 1.538 51.56 1.318


















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 51 48 0 197 165 296
normalized size 1 1. 0.76 0.72 0. 2.94 2.46 4.42
time (sec) N/A 0.077 0.024 0.004 0. 1.497 58.032 1.368


















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 75 315 0 278 165 285
normalized size 1 1. 0.64 2.69 0. 2.38 1.41 2.44
time (sec) N/A 0.098 0.028 0.024 0. 1.599 79.398 1.388


















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A C B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 77 73 0 265 165 327
normalized size 1 1. 0.65 0.61 0. 2.23 1.39 2.75
time (sec) N/A 0.096 0.028 0.006 0. 1.537 129.492 1.504


















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 78 387 0 335 0 543
normalized size 1 1. 0.47 2.33 0. 2.02 0. 3.27
time (sec) N/A 0.12 0.03 0.026 0. 1.622 0. 1.617


















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A C A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 56 53 34 103 148 54
normalized size 1 1. 1.4 1.32 0.85 2.58 3.7 1.35
time (sec) N/A 0.054 0.024 0.071 1.655 1.551 16.137 1.13


















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 244 66 107 128 0 0
normalized size 1 1. 4.6 1.25 2.02 2.42 0. 0.
time (sec) N/A 0.091 0.258 0.008 1.614 1.792 0. 0.


















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 36 0 0 194 0 0
normalized size 1 1. 1. 0. 0. 5.39 0. 0.
time (sec) N/A 0.02 0.016 0.601 0. 1.703 0. 0.


















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 75 0 0 124 0 0
normalized size 1 1. 1. 0. 0. 1.65 0. 0.
time (sec) N/A 0.05 0.033 0.663 0. 1.812 0. 0.


















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 113 113 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.09 0.239 1.492 0. 0. 0. 0.


















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 87 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.042 1.464 0. 0. 0. 0.


















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 76 76 258 0 0 0 0 0
normalized size 1 1. 3.39 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.29 1.048 0. 0. 0. 0.


















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 104 103 0 0 369 0 0
normalized size 1 1.08 1.07 0. 0. 3.84 0. 0.
time (sec) N/A 0.122 0.276 2.152 0. 1.901 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [279] had the largest ratio of [ 0.5294 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 2 1 1. 17 0.059







2 A 2 1 1. 17 0.059







3 A 2 1 1. 17 0.059







4 A 2 1 1. 15 0.067







5 A 7 7 1. 17 0.412







6 A 7 7 1. 17 0.412







7 A 8 8 1. 17 0.471







8 A 2 1 1. 19 0.053







9 A 2 1 1. 19 0.053







10 A 2 1 1. 17 0.059







11 A 8 7 1. 19 0.368







12 A 9 8 1. 19 0.421







13 A 8 8 1. 19 0.421







14 A 8 7 1. 19 0.368







15 A 8 7 1. 19 0.368







16 A 8 7 1. 19 0.368







17 A 7 7 1. 17 0.412







18 A 13 7 1. 19 0.368







19 A 14 8 1. 19 0.421







20 A 9 8 1. 19 0.421







21 A 9 8 1. 19 0.421







22 A 9 8 1. 19 0.421







23 A 9 8 1. 19 0.421







24 A 7 7 1. 17 0.412







25 A 14 8 1. 19 0.421







26 A 15 9 1. 19 0.474







27 A 3 3 1. 20 0.15







28 A 2 2 1. 20 0.1







29 A 2 2 1. 20 0.1







30 A 2 2 1. 20 0.1







31 A 3 3 1. 20 0.15







32 A 4 3 1. 20 0.15







33 A 5 3 1. 20 0.15







34 C 2 2 0.12 22 0.091







35 C 2 2 0.12 22 0.091







36 C 2 2 0.15 22 0.091







37 C 2 2 0.13 22 0.091







38 C 2 2 0.12 22 0.091







39 C 2 2 0.12 22 0.091







40 A 4 4 1. 22 0.182







41 A 3 3 1. 22 0.136







42 A 3 3 1. 22 0.136







43 A 3 3 1. 22 0.136







44 A 3 2 1. 22 0.091







45 A 4 3 1. 22 0.136







46 A 5 4 1. 22 0.182







47 A 6 4 1. 22 0.182







48 A 4 4 1. 22 0.182







49 A 4 4 1. 22 0.182







50 A 4 4 1. 22 0.182







51 A 4 4 1. 22 0.182







52 A 4 4 1. 22 0.182







53 A 4 4 1. 22 0.182







54 A 4 4 1. 22 0.182







55 A 4 4 1. 22 0.182







56 A 4 3 1. 19 0.158







57 A 3 3 1. 19 0.158







58 A 2 2 1. 19 0.105







59 A 2 2 1. 19 0.105







60 A 2 2 1. 19 0.105







61 A 3 3 1. 19 0.158







62 A 4 3 1. 19 0.158







63 A 5 3 1. 19 0.158







64 A 3 3 1. 19 0.158







65 A 3 3 1. 19 0.158







66 A 3 3 1. 19 0.158







67 A 3 3 1. 19 0.158







68 A 3 3 1. 19 0.158







69 A 3 3 1. 19 0.158







70 A 5 4 1. 21 0.19







71 A 4 4 1. 21 0.19







72 A 3 3 1. 21 0.143







73 A 3 3 1. 21 0.143







74 A 3 3 1. 21 0.143







75 A 3 2 1. 21 0.095







76 A 4 3 1. 21 0.143







77 A 5 4 1. 21 0.19







78 A 6 4 1. 21 0.19







79 A 4 4 1. 21 0.19







80 A 4 4 1. 21 0.19







81 A 4 4 1. 21 0.19







82 A 4 4 1. 21 0.19







83 A 4 4 1. 21 0.19







84 A 4 4 1. 21 0.19







85 A 4 2 1. 21 0.095







86 C 2 2 0.19 21 0.095







87 C 2 2 0.22 21 0.095







88 C 2 2 0.25 21 0.095







89 A 7 7 1.4 21 0.333







90 A 8 8 1.33 21 0.381







91 C 2 2 2.75 21 0.095







92 C 2 2 4.19 21 0.095







93 A 2 2 1. 21 0.095







94 A 2 2 1. 21 0.095







95 A 2 2 1. 21 0.095







96 A 2 2 1. 21 0.095







97 A 2 2 1. 21 0.095







98 C 2 2 0.18 21 0.095







99 C 2 2 0.2 21 0.095







100 A 8 8 1.32 21 0.381







101 A 8 8 1.27 21 0.381







102 C 2 2 2.39 21 0.095







103 C 2 2 3.75 21 0.095







104 A 2 2 1. 21 0.095







105 A 2 2 1. 21 0.095







106 A 2 2 1. 21 0.095







107 A 2 2 1. 21 0.095







108 A 2 2 1. 21 0.095







109 C 2 2 0.11 21 0.095







110 C 2 2 0.14 21 0.095







111 C 2 2 0.16 21 0.095







112 A 9 8 1.27 21 0.381







113 A 9 9 1.22 21 0.429







114 C 2 2 0.54 21 0.095







115 C 2 2 1.14 21 0.095







116 C 2 2 4.3 21 0.095







117 A 2 2 1. 21 0.095







118 A 2 2 1. 21 0.095







119 A 2 2 1. 21 0.095







120 A 2 2 1. 21 0.095







121 A 2 2 1. 21 0.095







122 A 3 2 1. 23 0.087







123 A 3 2 1. 23 0.087







124 A 2 2 1. 23 0.087







125 A 2 2 1. 23 0.087







126 A 1 1 1. 23 0.043







127 A 1 1 1. 23 0.043







128 A 1 1 1. 23 0.043







129 A 2 2 1. 23 0.087







130 A 2 2 1. 23 0.087







131 A 3 2 1. 23 0.087







132 A 3 2 1. 23 0.087







133 A 3 2 1. 19 0.105







134 A 4 4 1.05 19 0.21







135 A 3 3 1.01 17 0.176







136 A 2 2 1. 19 0.105







137 A 2 2 1. 19 0.105







138 A 5 5 1. 19 0.263







139 A 4 4 1. 19 0.21







140 A 3 3 0.91 17 0.176







141 A 2 2 1. 9 0.222







142 A 2 2 1. 19 0.105







143 A 2 2 1. 19 0.105







144 A 2 2 1. 19 0.105







145 A 1 1 1. 50 0.02







146 A 2 1 1. 17 0.059







147 A 2 1 1. 17 0.059







148 A 2 1 1. 17 0.059







149 A 2 1 1. 15 0.067







150 A 10 7 1. 17 0.412







151 A 10 7 1. 17 0.412







152 A 11 8 1. 17 0.471







153 A 2 1 1. 19 0.053







154 A 2 1 1. 19 0.053







155 A 2 1 1. 19 0.053







156 A 2 1 1. 17 0.059







157 A 11 7 1. 19 0.368







158 A 12 8 1. 19 0.421







159 A 11 8 1. 19 0.421







160 A 11 7 1. 19 0.368







161 A 11 7 1. 19 0.368







162 A 11 7 1. 19 0.368







163 A 10 7 1. 17 0.412







164 A 19 7 1. 19 0.368







165 A 20 8 1. 19 0.421







166 A 12 8 1. 19 0.421







167 A 12 8 1. 19 0.421







168 A 12 8 1. 19 0.421







169 A 12 8 1. 19 0.421







170 A 10 7 1. 17 0.412







171 A 20 8 1. 19 0.421







172 A 21 9 1. 19 0.474







173 A 10 8 1. 23 0.348







174 A 9 7 1. 23 0.304







175 A 8 6 1. 23 0.261







176 A 5 3 1. 23 0.13







177 A 9 7 1. 23 0.304







178 A 10 8 1. 23 0.348







179 A 10 6 1. 21 0.286







180 A 9 5 1. 21 0.238







181 A 7 4 1. 21 0.19







182 A 10 6 1. 21 0.286







183 A 11 7 1. 21 0.333







184 A 11 8 1. 23 0.348







185 A 10 8 1. 23 0.348







186 A 9 7 1. 23 0.304







187 A 9 7 1. 23 0.304







188 A 9 7 1. 23 0.304







189 A 10 8 1. 23 0.348







190 A 11 8 1. 23 0.348







191 A 4 4 1. 25 0.16







192 A 1 1 1. 25 0.04







193 A 10 9 1. 21 0.429







194 A 9 8 1. 21 0.381







195 A 4 4 1. 21 0.19







196 A 5 5 1. 21 0.238







197 A 7 7 1. 21 0.333







198 A 8 7 1. 21 0.333







199 A 11 10 1. 21 0.476







200 A 10 9 1. 21 0.429







201 A 4 3 1. 21 0.143







202 A 9 8 1. 21 0.381







203 A 10 9 1. 21 0.429







204 A 11 10 1. 21 0.476







205 A 11 10 1. 21 0.476







206 A 10 9 1. 21 0.429







207 A 5 5 1. 21 0.238







208 A 5 5 1. 21 0.238







209 A 7 7 1. 21 0.333







210 A 8 7 1. 21 0.333







211 A 11 10 1. 21 0.476







212 A 10 9 1. 21 0.429







213 A 10 9 1. 21 0.429







214 A 10 9 1. 21 0.429







215 A 11 10 1. 21 0.476







216 A 4 4 1. 17 0.235







217 A 4 4 1. 26 0.154







218 A 3 2 1. 19 0.105







219 A 4 4 1. 19 0.21







220 A 3 3 0.91 17 0.176







221 A 2 2 1. 19 0.105







222 A 2 2 1. 19 0.105







223 A 7 7 1. 21 0.333







224 A 6 6 1. 21 0.286







225 A 6 6 1. 21 0.286







226 A 5 5 1. 19 0.263







227 A 4 4 1. 11 0.364







228 A 7 6 1. 21 0.286







229 A 8 7 1. 21 0.333







230 A 9 7 1. 21 0.333







231 A 7 7 1. 21 0.333







232 A 7 6 1. 21 0.286







233 A 6 5 1. 19 0.263







234 A 5 5 1. 11 0.454







235 A 7 6 1. 21 0.286







236 A 8 7 1. 21 0.333







237 A 9 7 1. 21 0.333







238 A 8 7 1. 21 0.333







239 A 8 6 1. 21 0.286







240 A 7 5 1. 19 0.263







241 A 6 5 1. 11 0.454







242 A 8 7 1. 21 0.333







243 A 8 7 1. 21 0.333







244 A 9 8 1. 21 0.381







245 A 5 5 1. 21 0.238







246 A 5 5 1. 21 0.238







247 A 4 4 1. 19 0.21







248 A 4 4 1. 11 0.364







249 A 7 6 1. 21 0.286







250 A 8 7 1. 21 0.333







251 A 9 7 1. 21 0.333







252 A 5 5 1. 21 0.238







253 A 5 5 0.96 21 0.238







254 A 5 5 1. 19 0.263







255 A 5 4 1.02 11 0.364







256 A 8 7 1. 21 0.333







257 A 9 8 1. 21 0.381







258 A 10 8 1. 21 0.381







259 A 5 5 1. 21 0.238







260 A 6 6 0.97 21 0.286







261 A 6 5 1. 19 0.263







262 A 6 4 1.04 11 0.364







263 A 9 7 1. 21 0.333







264 A 10 8 1. 21 0.381







265 A 11 8 1. 21 0.381







266 A 8 8 1. 23 0.348







267 A 4 4 1. 23 0.174







268 A 5 5 1. 23 0.217







269 A 3 3 1. 19 0.158







270 A 3 3 1. 17 0.176







271 A 6 6 1. 23 0.261







272 A 7 7 1. 23 0.304







273 A 7 7 1. 23 0.304







274 A 4 3 1. 19 0.158







275 A 8 8 1. 17 0.471







276 A 3 2 1. 21 0.095







277 A 3 2 1. 17 0.118







278 A 4 4 1. 17 0.235







279 A 9 9 1. 17 0.529







280 A 4 3 1. 17 0.176







281 A 3 3 1. 24 0.125







282 A 3 3 1. 24 0.125







283 A 3 3 1. 20 0.15







284 A 2 1 1. 17 0.059







285 A 2 1 1. 17 0.059







286 A 2 1 1. 17 0.059







287 A 2 1 1. 15 0.067







288 A 2 2 1. 17 0.118







289 A 2 2 1. 17 0.118







290 A 2 2 1. 17 0.118







291 A 2 2 1. 17 0.118







292 A 2 1 1. 19 0.053







293 A 2 1 1. 19 0.053







294 A 2 1 1. 17 0.059







295 A 3 3 1. 19 0.158







296 A 3 3 1. 19 0.158







297 A 3 3 1. 19 0.158







298 A 5 4 1. 19 0.21







299 A 4 4 1. 19 0.21







300 A 3 3 1. 19 0.158







301 A 2 2 1. 17 0.118







302 A 3 2 1. 19 0.105







303 A 4 3 1. 19 0.158







304 A 5 4 1. 19 0.21







305 A 5 4 1. 19 0.21







306 A 4 4 1. 19 0.21







307 A 3 3 1. 19 0.158







308 A 2 2 1. 17 0.118







309 A 4 3 1. 19 0.158







310 A 5 4 1. 19 0.21







311 A 6 4 1. 19 0.21







312 A 3 2 1. 19 0.105







313 A 5 5 1. 19 0.263







314 A 4 4 0.98 19 0.21







315 A 3 3 0.91 17 0.176







316 A 2 2 1. 9 0.222







317 A 2 2 1. 19 0.105







318 A 2 2 1. 19 0.105







319 A 2 2 1. 19 0.105







320 A 1 1 1. 28 0.036







321 A 4 2 1. 25 0.08







322 A 3 2 1. 25 0.08







323 A 2 2 1. 23 0.087







324 A 1 1 1. 15 0.067







325 A 1 1 1. 23 0.043







326 A 1 1 1. 25 0.04







327 A 1 1 1. 25 0.04







328 A 2 2 0.93 28 0.071







329 A 1 1 1. 69 0.014







330 A 5 3 1. 25 0.12







331 A 3 3 1. 23 0.13







332 A 2 2 1. 15 0.133







333 A 2 2 1. 25 0.08







334 A 2 2 1. 23 0.087







335 A 2 2 1. 25 0.08







336 A 2 2 1. 25 0.08







337 A 6 4 1.08 31 0.129







338 A 4 4 1.08 31 0.129







339 A 2 2 1.07 29 0.069







340 A 5 5 1. 31 0.161







341 A 5 5 1.19 31 0.161







342 A 5 4 1.36 31 0.129







343 A 9 8 1. 31 0.258







344 A 7 7 1. 31 0.226







345 A 5 5 1. 28 0.179







346 A 5 5 1. 31 0.161







347 A 6 6 1. 31 0.194







348 A 5 5 1. 29 0.172







349 A 4 4 1. 29 0.138







350 A 3 3 1. 29 0.103







351 A 2 2 1. 27 0.074







352 A 2 2 1. 26 0.077







353 A 3 3 1. 29 0.103







354 A 2 2 1. 29 0.069







355 A 3 3 1. 29 0.103







356 A 2 2 1. 29 0.069







357 A 5 5 1. 29 0.172







358 A 8 7 1. 31 0.226







359 A 4 4 1. 31 0.129







360 A 6 6 1. 31 0.194







361 A 2 2 1. 29 0.069







362 A 4 4 1. 28 0.143







363 A 3 3 1. 31 0.097







364 A 4 4 1. 31 0.129







365 A 3 3 1. 31 0.097







366 A 2 2 1. 31 0.065







367 A 5 5 1. 31 0.161







368 A 8 8 1. 31 0.258







369 A 4 4 1. 31 0.129







370 A 7 7 1. 31 0.226







371 A 2 2 1. 29 0.069







372 A 4 4 1. 28 0.143







373 A 3 3 1. 31 0.097







374 A 2 2 1. 31 0.065







375 A 5 5 1. 31 0.161







376 A 4 4 1. 31 0.129







377 A 7 7 1. 31 0.226







378 A 3 3 1. 31 0.097







379 A 1 1 1. 57 0.018







380 A 3 3 1. 32 0.094







381 A 4 4 1. 41 0.098







382 A 4 3 1. 31 0.097







383 A 4 4 1. 35 0.114







384 A 3 3 1. 31 0.097







385 A 2 2 1.08 76 0.026